Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
511	History of Lambda-calculus and Combinatory Logic J. Roger Hindley † 2006, from Swansea University Mathematics Department Research Report Add to Reading List Source URL: www.users.waitrose.com Language: English - Date: 2008-01-14 18:38:50 Lambda calculus Combinatory logic Computability theory Fixed-point combinator Function Haskell Curry Free variables and bound variables Principia Mathematica First-order logic Mathematics Mathematical logic Theoretical computer science
512	Relating Models of Backtracking Mitchell Wand Dale Vaillancourt College of Computer and Information Science Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2004-07-21 16:26:52 Functional programming Models of computation Logic in computer science Monad Denotational semantics Lambda calculus Fixed-point combinator Valuation Theoretical computer science Declarative programming Mathematics
513	Lambda Dependency-Based Compositional Semantics Percy Liang arXiv:1309.4408v2 [cs.AI] 18 SepSeptember 19, 2013 Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-09-18 20:24:07 Mathematical logic Lambda Function Expression Combinatory logic Binary lambda calculus Lambda calculus Mathematics Theoretical computer science
514	Revised5.97 Report on the Algorithmic Language Scheme MICHAEL SPERBER WILLIAM CLINGER, R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) RICHARD KELSEY, WILLIAM CLINGER, JONATHAN REES Add to Reading List Source URL: www.r6rs.org Language: English - Date: 2008-01-06 01:14:13 Functional languages Theoretical computer science Subroutines Procedural programming languages Cross-platform software Scheme Lisp Closure Lambda calculus Software engineering Computing Computer programming
515	Pricing and Queueing Christian Borgs (MSR-NE) Jennifer T. Chayes (MSR-NE) Sherwin Doroudi (CMU-Tepper) Mor Harchol-Balter (CMU-CS) Kuang Xu (MIT-LIDS) Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-11-24 17:18:36 Poisson processes Exponential distribution M/M/1 queue De Bruijn index Lambda calculus Statistics Stochastic processes Spectral theory
516	Bottom-up β-reduction: uplinks and λ-DAGs∗ (extended version) Olin Shivers† Georgia Institute of Technology Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-04-26 17:10:34 Computing Lambda calculus Directed acyclic graph Tree B-tree Free variables and bound variables T-tree Combinatory logic R-tree Graph theory Mathematics Binary trees
517	Type Inference for First-Class Messages with Match-Functions Paritosh Shroff Scott F. Smith Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-10-26 21:47:01 Software engineering Type inference Lambda calculus Standard ML Kind System F Type system Hindley–Milner Unification Type theory Programming language theory Theoretical computer science
518	Eclipse and Java™ 8 Daniel Megert Platform and JDT Lead Eclipse PMC Member IBM Rational Zurich Research Lab Add to Reading List Source URL: www.eclipsecon.org Language: English - Date: 2014-10-31 12:22:54 Java platform Cross-platform software Java programming language Anonymous function Lambda calculus Closure Java C Sharp Comparison of C Sharp and Java Computing Software engineering Subroutines
519	Eclipse and Java™ 8 Daniel Megert Platform and JDT Lead Eclipse PMC Member IBM Rational Zurich Research Lab Add to Reading List Source URL: www.eclipsecon.org Language: English - Date: 2014-06-20 12:05:28 Java platform Cross-platform software Java programming language Anonymous function Lambda calculus Closure Java C Sharp Comparison of C Sharp and Java Computing Software engineering Subroutines

UPDATE